• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 26 matches

• 2022
• 
  Yehia Elrakaiby, Alexander Borgida, Alessio Ferrari, John Mylopoulos:
  CaRE: a refinement calculus for requirements engineering based on argumentation theory. Softw. Syst. Model. 21(6): 2113-2132 (2022)
• 2020
• 
  Yehia ElRakaiby, Alexander Borgida, Alessio Ferrari, John Mylopoulos:
  A Refinement Calculus for Requirements Engineering Based on Argumentation Theory. ER 2020: 3-18
• 
  Yehia ElRakaiby, Alexander Borgida, Alessio Ferrari, John Mylopoulos:
  CaRE: A Refinement Calculus for Requirements Engineering based on Argumentation Theory (Proofs and Tool). Zenodo, 2020 
• 
  Yehia ElRakaiby, Alexander Borgida, Alessio Ferrari, John Mylopoulos:
  A Refinement Calculus for Requirements Engineering based on Argumentation Theory: Tool and Additional Material. Version 2.0. Zenodo, 2020 [all versions] 
• 
  Yehia ElRakaiby, Alexander Borgida, Alessio Ferrari, John Mylopoulos:
  A Refinement Calculus for Requirements Engineering based on Argumentation Theory: Tool and Additional Material. Version 1.0. Zenodo, 2020 [all versions] 
• 
  Yehia ElRakaiby, Alexander Borgida, Alessio Ferrari, John Mylopoulos:
  A Refinement Calculus for Requirements Engineering based on Argumentation Theory: Tool and Additional Material. Multiple versions. Zenodo, 2020 [all versions] 
• 
  Yehia Elrakaiby, Paola Spoletini, Bashar Nuseibeh:
  Optimal by Design: Model-Driven Synthesis of Adaptation Strategies for Autonomous Systems. CoRR abs/2001.08525 (2020)
• 2018
• 
  Yehia Elrakaiby, Alessio Ferrari, John Mylopoulos:
  CaRE: A Refinement Calculus for Requirements Engineering Based on Argumentation Semantics. RE 2018: 364-369
• 2017
• 
  Yehia Elrakaiby, Alessio Ferrari, Paola Spoletini, Stefania Gnesi, Bashar Nuseibeh:
  Using Argumentation to Explain Ambiguity in Requirements Elicitation Interviews. RE 2017: 51-60
• 2015
• 
  Christian Jung, Denis Feth, Yehia Elrakaiby:
  Automatic derivation of context descriptions. CogSIMA 2015: 70-76
• 2014
• 
  Pouyan Ziafati, Yehia Elrakaiby, Marc van Zee, Mehdi Dastani, John-Jules Ch. Meyer, Leendert W. N. van der Torre, Holger Voos:
  Reasoning on Robot Knowledge from Discrete and Asynchronous Observations. AAAI Spring Symposia 2014
• 
  Donia El Kateb, Yehia ElRakaiby, Tejeddine Mouelhi, Iram Rubab, Yves Le Traon:
  Towards a Full Support of Obligations in XACML. CRiSIS 2014: 213-221
• 
  Yehia Elrakaiby, Moussa Amrani, Yves Le Traon:
  Security@Runtime: A Flexible MDE Approach to Enforce Fine-grained Security Policies. ESSoS 2014: 19-34
• 
  Yehia Elrakaiby, Jun Pang:
  Dynamic Analysis of Usage Control Policies. SECRYPT 2014: 88-100
• 2013
• 
  Frédéric Cuppens, Nora Cuppens-Boulahia, Yehia Elrakaiby:
  Formal specification and management of security policies with collective group obligations. J. Comput. Secur. 21(1): 149-190 (2013)
• 
  Yehia Elrakaiby, Yves Le Traon:
  A PEP-PDP Architecture to Monitor and Enforce Security Policies in Java Applications. ARES 2013: 367-374
• 
  Donia El Kateb, Yehia ElRakaiby, Tejeddine Mouelhi, Yves Le Traon:
  Access control enforcement testing. AST 2013: 64-70
• 
  Jan M. Broersen, Stephen Cranefield, Yehia Elrakaiby, Dov M. Gabbay, Davide Grossi, Emiliano Lorini, Xavier Parent, Leendert W. N. van der Torre, Luca Tummolini, Paolo Turrini, François Schwarzentruber:
  Normative Reasoning and Consequence. Normative Multi-Agent Systems 2013: 33-70
• 2012
• 
  Yehia Elrakaiby, Frédéric Cuppens, Nora Cuppens-Boulahia:
  Formal enforcement and management of obligation policies. Data Knowl. Eng. 71(1): 127-147 (2012)
• 
  Yehia Elrakaiby, Tejeddine Mouelhi, Yves Le Traon:
  Testing Obligation Policy Enforcement Using Mutation Analysis. ICST 2012: 673-680
• 2011
• 
  Yehia Elrakaiby, Frédéric Cuppens, Nora Cuppens-Boulahia:
  An Integrated Approach for the Enforcement of Contextual Permissions and Pre-Obligations. Int. J. Mob. Comput. Multim. Commun. 3(2): 33-51 (2011)
• 2010
• 
  Yehia Elrakaiby, Frédéric Cuppens, Nora Cuppens-Boulahia:
  From Contextual Permission to Dynamic Pre-obligation: An Integrated Approach. ARES 2010: 70-78
• 2009
• 
  Stere Preda, Frédéric Cuppens, Nora Cuppens-Boulahia, Joaquín García-Alfaro, Laurent Toutain, Yehia Elrakaiby:
  Semantic context aware security policy deployment. AsiaCCS 2009: 251-261
• 
  Yehia El Rakaiby, Frédéric Cuppens, Nora Cuppens-Boulahia:
  From state-based to event-based contextual security policies. ICDIM 2009: 241-247
• 
  Yehia El Rakaiby, Frédéric Cuppens, Nora Cuppens-Boulahia:
  Formalization and Management of Group Obligations. POLICY 2009: 158-165
• 2008
• 
  Yehia ElRakaiby, Frédéric Cuppens, Nora Cuppens-Boulahia:
  Interactivity for Reactive Access Control. SECRYPT 2008: 57-64